Tolerance of Control-Flow Testing Criteria
نویسندگان
چکیده
Effectiveness of testing criteria is the ability to detect failure in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of effectiveness of different test sets satisfied the same testing criterion. We name this property "tolerance" of a testing criterion and show that, for practical using a criterion, a high tolerance is as well important as high effectiveness. The results of empirical evaluation of tolerance for different criteria, types of faults and decisions are presented. As well as quite simple and wellknown control-flow criteria, we study more complicated criteria: full predicate coverage, modified condition/ decision coverage and reinforced condition/decision coverage criteria.
منابع مشابه
Experimental evaluation of the tolerance for control-flow test criteria
For a given test criterion, the number of test-sets satisfying the criterion may be very large, with varying fault detection effectiveness. In recent work [29], the measure of variation in effectiveness of test criterion was defined as ‘tolerance’. This paper presents an experimental evaluation of tolerance for control-flow test criteria. The experimental analysis is done by exhaustive test-set...
متن کاملVerification of Fault Tolerance by Means of Fault Injection into VHDL Simulation Models*
This paper describes and illustrates the application of a strategy for testing fault tolerance by means of fault injection. The proposed approach encompasses a method for modelling fault tolerance together with a strategy for testing several classes of fault tolerance mechanisms. The modelling approach distinguishes two main abstraction levels: (i) a data flow diagram of the general organisatio...
متن کاملشیوع دیابت قندی نوع 2 و اختلال تحمل گلوکز درافراد 30 تا 64 ساله شهر بوشهر برپایه معیارهای سازمان جهانی سلامت و انجمن دیابت آمریکا
Introduction: The prevalence of type 2 diabetes is increasing daily all around the world and is a serious threat to the well-being of the community in terms of renal failure, cardiovascular disease, blindness, and neuropathy. The assessment of difference screening approaches is of great importance in this disease. We compared ADA and WHO criteria for the diagnosis of type 2 diabetes. Methods...
متن کاملA Comparative Study on Test Case Generation of Concurrent Programs
This paper deals with a comparative study on testing of concurrent programs based on different techniques. The various challenges in testing concurrent programming are: defining test coverage criteria based on control flow, generating control flow graph of nondeterministic programs, investigating the applicability of sequential testing criteria to parallel program testing etc. For solving these...
متن کاملFormalization of control-flow criteria of software testing
This paper describes an approach to formalization of criteria of complex computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition coverage, decision/condition coverage, f...
متن کامل